<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>

<p>Hover your mouse pointer over a warning, error stripe or just some section of source code
    on the scroll bar outside of the scroll box, and you will see a lens:</p>
<p class="image"><img src="images/lens.png"></p>
<p>If the lens annoys you, get rid of it by clearing the check box on
    the context menu of the code analysis marker:</p>
<p class="image"><img src="images/lens1.png"></p>
</body>
</html>
